" Teruo Higashino" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Automated Technology for Verification and Analysis, 5 conf., ATVA 2007

Kedar Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura

Категория: CsLn_

6.10 Mb

#2

Formal Techniques for Networked and Distributed Systems FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih

5.66 Mb

#3

Testing of Software and Communicating Systems: 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo,

Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa

6.73 Mb